• Conference Object  

      An abstract channel specification and an algorithm implementing it using Java sockets 

      Georgiou, Chryssis; Shvartsman, A. A.; Musiał, Peter M.; Sonderegger, E. L. (2008)
      Models and specifications can be used in the design of distributed applications to formally reason about their safety properties. However, the benefits of using formal methods are often negated by the ad hoc process of ...
    • Conference Object  

      Analyzing the number of slow reads for semifast atomic read/write register implementations 

      Georgiou, Chryssis; Kentros, Sotirios; Nicolaou, Nicolas C.; Shvartsman, A. A. (2009)
      Developing fast implementations of atomic read/write registers in the message passing model is among the fundamental problems in distributed computing. Typical implementations require two communication round trips for read ...
    • Conference Object  

      Brief announcement: A formal treatment of an abstract channel implementation using java sockets and TCP 

      Georgiou, Chryssis; Musiał, Peter M.; Shvartsman, A. A.; Sonderegger, E. L. (2007)
      Abstract models and specifications can be used in the design of distributed applications to formally reason about their safety properties. However, the benefits of using formal methods are offset by the challenging process ...
    • Article  

      Brief announcement: Fault-tolerant SemiFast implementations of atomic read/write registers 

      Georgiou, Chryssis; Nicolaou, Nicolas C.; Shvartsman, A. A. (2006)
    • Conference Object  

      Brief announcement: On the robustness of (semi)fast quorum-based implementations of atomic shared memory 

      Georgiou, Chryssis; Nicolaou, Nicolas C.; Shvartsman, A. A. (2008)
      Atomic (linearizable) read/write memory is a fundamental abstractions in distributed computing. Following a seminal implementation of atomic memory of Attiya et al.[6], a folklore belief developed that in messaging-passing ...
    • Conference Object  

      Brief Announcement: Optimally work-competitive scheduling for cooperative computing with merging groups 

      Georgiou, Chryssis; Russell, A.; Shvartsman, A. A. (2002)
      The development of algorithms with guaranteed work efficiency for any pattern of fragmentations and merges of the underlying network is addressed. Current results are discussed for the abstract setting where asynchronous ...
    • Article  

      The complexity of synchronous iterative Do-All with crashes 

      Georgiou, Chryssis; Russell, A.; Shvartsman, A. A. (2004)
      The ability to cooperate on common tasks in a distributed setting is key to solving a broad range of computation problems ranging from distributed search such as SETI to distributed simulation and multi-agent collaboration. ...
    • Article  

      The complexity of synchronous iterative do-all with crashes 

      Georgiou, Chryssis; Russell, A.; Shvartsman, A. A. (2001)
      Do-All is the problem of performing N tasks in a distributed system of P failure-prone processors [8]. Many distributed and parallel algorithms have been developed for this problem and several algorithm simulations have ...
    • Article  

      Cooperative computing with fragmentable and mergeable groups 

      Georgiou, Chryssis; Shvartsman, A. A. (2003)
      This work considers the problem of performing a set of N tasks on a set of P cooperating message-passing processors (P ≤ N). The processors use a group communication service (GCS) to coordinate their activity in the setting ...
    • Conference Object  

      Coordinated cooperative work using undependable processors with unreliable broadcast 

      Davtyan, S.; Prisco, R. D.; Georgiou, Chryssis; Shvartsman, A. A. (IEEE Computer Society, 2014)
      With the end of Moore's Law in sight, parallelism became the main means for speeding up computationally intensive applications, especially in the cases where large collections of tasks need to be performed. Network ...
    • Article  

      Developing a consistent domain-oriented distributed object service 

      Georgiou, Chryssis; Musiał, Peter M.; Shvartsman, A. A. (2009)
      This paper presents a new algorithm for a reconfigurable distributed domain-oriented atomic object service, called DO-RAMBO, which stands for Domain-Oriented Reconfigurable Atomic Memory for Basic Objects. This service is ...
    • Conference Object  

      Developing a consistent domain-oriented distributed object service 

      Georgiou, Chryssis; Musiał, Peter M.; Shvartsman, A. A. (2005)
      This paper presents a new algorithm for a reconfigurable distributed domain-oriented atomic object service, called DO-RAMBO, which stands for Domain-Oriented Reconfigurable Atomic Memory for Basic Objects. This service is ...
    • Conference Object  

      Distributed Cooperation and Adversity: Complexity Trade-Offs 

      Georgiou, Chryssis; Russell, A.; Shvartsman, A. A. (2003)
      The problem of cooperatively performing a collection of tasks in a decentralized setting where the computing medium is subject to adversarial perturbations is one of the fundamental problems in distributed computing. Such ...
    • Book Chapter  

      Do-all computing in distributed systems: Cooperation in the presence of adversity 

      Georgiou, Chryssis; Shvartsman, A. A. (Springer US, 2008)
      The ability to cooperatively perform a collection of tasks in a distributed system is key to solving a broad array of computation problems ranging from distributed search, to distributed simulation, and multi-agent ...
    • Article  

      The Do-All problem with Byzantine processor failures 

      Fernández, A.; Georgiou, Chryssis; Russell, A.; Shvartsman, A. A. (2005)
      Do-All is the abstract problem of using n processors to cooperatively perform m independent tasks in the presence of failures. This problem and its derivatives have been a centerpiece in the study of trade-offs between ...
    • Article  

      Efficient gossip and robust distributed computation 

      Georgiou, Chryssis; Kowalski, D. R.; Shvartsman, A. A. (2005)
      This paper presents an efficient deterministic gossip algorithm for p synchronous, crash-prone, message-passing processors. The algorithm has time complexity T=O(log2p) and message complexity M=O(p1+ε), for any ε>0. This ...
    • Article  

      Efficient gossip and robust distributed computation 

      Georgiou, Chryssis; Kowalski, D. R.; Shvartsman, A. A. (2003)
      This paper presents an efficient deterministic gossip algorithm for p synchronous, crash-prone, message-passing processors. The algorithm has time complexity T = O(log2 p) and message complexity M = O(p1+ε), for any ε > ...
    • Article  

      Failure-sensitive analysis of parallel algorithms with controlled memory access concurrency 

      Georgiou, Chryssis; Russell, A.; Shvartsman, A. A. (2007)
      The abstract problem of using P failure-prone processors to cooperatively update all locations of an N-element shared array is called Write-All. Solutions to Write-All can be used iteratively to construct efficient simulations ...
    • Conference Object  

      Fault-tolerant semi fast implementations of atomic read/write registers 

      Georgiou, Chryssis; Nicolaou, Nicolas C.; Shvartsman, A. A. (2006)
      This paper investigates time-efficient implementations of atomic read-write registers in message-passing systems where the number of readers can be unbounded. In particular we study the case of a single writer, multiple ...
    • Article  

      Fault-tolerant semifast implementations of atomic read/write registers 

      Georgiou, Chryssis; Nicolaou, Nicolas C.; Shvartsman, A. A. (2009)
      This paper investigates time-efficient implementations of atomic read-write registers in message-passing systems where the number of readers can be unbounded. In particular we study the case of a single writer, multiple ...